change of coordinates proof